IsaWhelk: Whelk Interpreted in Isabelle
نویسندگان
چکیده
The Whelk logic has been proposed as a foundation for logic program synthesis. Here, I interpret the rules of Whelk as rules of rst-order logic and derive them in Isabelle. Theoretically, this provides a means to understand the meta-theory behind Whelk, and its correctness. The interpretation suggests simpliications, corrections, and extensions. Practically, it provides a way to construct logic programs from proofs of their correctness by applying the formalized proof rules using higher-order resolution.
منابع مشابه
Common Whelk (Buccinum undatum) Allergy: Identification of IgE-binding Components and Effects of Heating and Digestive Enzymes
In Korea, common whelk (Buccinum undatum) is a popular edible shellfish. The aim of this study was to observe the sensitization rate to common whelk and to characterize its allergens. We carried out skin prick test (SPT) in 1,700 patients with various allergic diseases. Specific IgE were detected by ELISA in the patient sera and ELISA inhibition tests were conducted. IgE-binding components were...
متن کاملSelectivity tuning of serially coupled (S,S) Whelk-O 1 and (R,R) Whelk-O 1 columns in HPLC.
The selectivity tuning of two columns coupled in series is investigated in chiral high-performance liquid chromatography. Two columns with reversal enantioselectivities [(R,R) Whelk-O 1 and (S,S) Whelk-O 1] are coupled in series via a T connector. Selectivity of such a column series is tuned by varying the mobile phase flows in the individual columns. The flow ratio necessary for the required s...
متن کاملCan Nassarius reticulatus be used as a bioindicator for Hg contamination? Results from a longitudinal study of the Portuguese coastline.
The focus of this work is to explore the use of the netted whelk, Nassarius reticulatus (L.), as an indicator of mercury (Hg) contamination, by assessing the concentration of Hg in the sediments and in the whelk along the entire Portuguese coast. Total Hg concentrations ranged from below the detection limit (0.01 ng absolute mercury) up to 0.87 mg kg(-1) dry weight (dwt) in sediments and betwee...
متن کاملA gastropod scavenger serving as paratenic host for larval helminth communities in shore crabs.
The whelk Cominella glandiformis is an important predator-scavenger of New Zealand intertidal ecosystems; a few whelks can quickly eat all the soft tissues of recently dead crabs. In this study, we demonstrate that whelks can also ingest and act as paratenic hosts for at least 4 helminth species that use crabs as intermediate hosts: metacercariae of the trematode Maritrema sp. and of another un...
متن کاملThe hypobranchial mucin of the whelk Buccinum undatum L. The polysaccharide sulphate component.
1. A polysaccharide sulphate has been isolated from the hypobranchial mucin of the whelk Buccinum undatum. 2. The molecular weight of this polysaccharide, which is a glucan carrying one ester sulphate group per monosaccharide residue, is 1.7x10(5). 3. Some investigations bearing on the location of the ester sulphate groups are reported. 4. The viscosity of the whole mucin has been shown to depe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994